En informatique, une machine à états abstraits (en anglais abstract state machine ou ASM ), est un automate fini dont les états ne portent pas simplement des noms, mais des structures au sens de la logique mathématique, c`est-à-dire des ensembles non vides munis de fonctions, d`opérations e...